Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
F-Logic meta Cyc REFINE O-Logic IQL Aditi abduction neats vs. scruffies deductive database LOGIN TABLOG deductive tableau CORAL IDEAL CBR KRYPTON QA4 LOP database Gottlob Frege d-Prolog design recovery symbolic inference case based reasoning BinProlog KEE alpha/beta pruning hacker humour Vannevar Bush Darwin George Boole Magic Switch Story logic parallel processing